[PDF][PDF] Predicate logic as programming language
R Kowalski - IFIP congress, 1974 - fq.pkwyx.com
PREDICATE LOGIC AS PROGRAMMING LANGUAGE:* Page 1 INFORMATION PROCESSING
74 – NORTH-HOLLAND PUBLISHING cop ANy (1974) PREDICATE LOGIC AS PROGRAMMING
LANGUAGE:* Robert KOWALSKI University of Edinburgh, Department of Computational
Logic Edinburgh, Scotland The interpretation of predicate logic as a programming language is
based upon the interpretation of implications B if A 1 and . . . and * as procedure declarations,
where B is the prccedure name and A , . . . , A, is the set of procedure ca 11s A; constitut ing …
74 – NORTH-HOLLAND PUBLISHING cop ANy (1974) PREDICATE LOGIC AS PROGRAMMING
LANGUAGE:* Robert KOWALSKI University of Edinburgh, Department of Computational
Logic Edinburgh, Scotland The interpretation of predicate logic as a programming language is
based upon the interpretation of implications B if A 1 and . . . and * as procedure declarations,
where B is the prccedure name and A , . . . , A, is the set of procedure ca 11s A; constitut ing …
The semantics of predicate logic as a programming language
MH Van Emden, RA Kowalski - Journal of the ACM (JACM), 1976 - dl.acm.org
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper
the operational and fixpoint semantics of predicate logic programs are defined, and the
connections with the proof theory and model theory of logic are investigated. It is concluded
that operational semantics is a part of proof theory and that fixpoint semantics is a special
case of model-theoretic semantics.
the operational and fixpoint semantics of predicate logic programs are defined, and the
connections with the proof theory and model theory of logic are investigated. It is concluded
that operational semantics is a part of proof theory and that fixpoint semantics is a special
case of model-theoretic semantics.